$d$($p$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$fpf{-}cap($d$;product{-}deq(IdLnk;Id;IdLnkDeq;IdDeq);$p$;Top)